English translation for "vérification formelle"

formal verification

Example Sentences:

	1.	Often, program synthesis employs techniques from formal verification. La synthèse de programmes s'appuie sur des techniques de vérification formelle de programmes.
	2.	LTL was first proposed for the formal verification of computer programs by Amir Pnueli in 1977. LTL a d'abord été proposé pour la vérification formelle des programmes informatiques par Amir Pnueli en 1977.
	3.	In 1986, he cofounded Man-Made Minions Ltd to pursue the development of an automated formal program verifier. En 1986, il est devenu le cofondateur de Man-Made Minions Ltd où fut mené le développement d’un programme de vérification formelle.
	4.	BDDs are extensively used in CAD software to synthesize circuits (logic synthesis) and in formal verification. Les diagrammes de décision binaires sont utilisés par les programmes de conception assistée par ordinateur (CAO / CAD) pour générer des circuits (synthèse logique), et dans la vérification formelle.
	5.	He was elected to the National Academy of Engineering in 2005 for contributions to the formal verification of hardware and software correctness. En 2005, il est élu membre de l'Académie nationale d'ingénierie des États-Unis pour ses contributions à la vérification formelle de la correction du logiciel et du matériel informatique.
	6.	The required research is interdisciplinary, drawing from areas ranging from economics and law to various branches of computer science, such as computer security and formal verification. La recherche est interdisciplinaire, en puisant dans des domaines allant de l'économie et de la loi, ainsi que les diverses branches de l'informatique, telles que la sécurité informatique et la vérification formelle.
	7.	In 2004 he received the IEEE Computer Society Harry H. Goode Memorial Award for significant and pioneering contributions to formal verification of hardware and software systems, and for the profound impact these contributions have had on the electronics industry. En 2004 il obtient le Prix en mémoire de Harry H. Goode (en) de l'IEEE Computer Society « pour ses contributions importantes et pionnières à la vérification formelle des systèmes logiciels et matériels, et pour l'impact profond de ces contributions sur l'industrie électronique ».
	8.	At the height of its success, and largely inspired by the Japanese Fifth Generation Computer programme, the company established the "MetaLab" research centre at Milton Hall (near Cambridge), in order to pursue artificial intelligence, wafer-scale integration, formal verification and other advanced projects. À la hauteur de son succès, et en grande partie inspiré par le programme japonais de cinquième génération informatique, la société a créé le centre de recherche MetaLab à Milton Hall (près de Cambridge), afin de poursuivre l'intelligence artificielle, l'intégration échelle d'une tranche, la vérification formelle et d'autres projets avancés.

Similar Words：

"vérification de compte" English translation, "vérification de modèles" English translation, "vérification des comptes" English translation, "vérification des faits" English translation, "vérification des votes" English translation, "vérification orthographique" English translation, "vérifier" English translation, "vérifier la véracité" English translation, "vérifieur" English translation